Trotter-Kato product formula for unitary groups

Let $A$ and $B$ be non-negative self-adjoint operators in a separable Hilbert space such that its form sum $C$ is densely defined. It is shown that the Trotter product formula holds for imaginary times in the $L^2$-norm, that is, one has % % \begin{displaymath} \lim_{n\to+\infty}\int^T_0 \|(e^{-itA/n}e^{-itB/n})^nh - e^{-itC}h\|^2dt = 0 \end{displaymath} % % for any element $h$ of the Hilbert space and any $T > 0$. The result remains true for the Trotter-Kato product formula % % \begin{displaymath} \lim_{n\to+\infty}\int^T_0 \|(f(itA/n)g(itB/n))^nh - e^{-itC}h\|^2dt = 0 \end{displaymath} % % where $f(\cdot)$ and $g(\cdot)$ are so-called holomorphic Kato functions; we also derive a canonical representation for any function of this class

On the unitary equivalence of absolutely continuous parts of self-adjoint extensions

The classical Weyl-von Neumann theorem states that for any self-adjoint operator $A$ in a separable Hilbert space $\mathfrak H$ there exists a (non-unique) Hilbert-Schmidt operator $C = C^*$ such that the perturbed operator $A+C$ has purely point spectrum. We are interesting whether this result remains valid for non-additive perturbations by considering self-adjoint extensions of a given densely defined symmetric operator $A$ in $\mathfrak H$ and fixing an extension $A_0 = A_0^*$. We show that for a wide class of symmetric operators the absolutely continuous parts of extensions $\widetilde A = {\widetilde A}^*$ and $A_0$ are unitarily equivalent provided that their resolvent difference is a compact operator. Namely, we show that this is true whenever the Weyl function $M(\cdot)$ of a pair $\{A,A_0\}$ admits bounded limits M(t) := \wlim_{y\to+0}M(t+iy) for a.e. $t \in \mathbb{R}$. This result is applied to direct sums of symmetric operators and Sturm-Liouville operators with operator potentials

A trace formula for functions of contractions and analytic operator Lipschitz functions

In this note we study the problem of evaluating the trace of $f(T)-f(R)$, where $T$ and $R$ are contractions on Hilbert space with trace class difference, i.e., $T-R\in\boldsymbol{S}_1$ and $f$ is a function analytic in the unit disk ${\Bbb D}$. It is well known that if $f$ is an operator Lipschitz function analytic in ${\Bbb D}$, then $f(T)-f(R)\in\boldsymbol{S}_1$. The main result of the note says that there exists a function $\boldsymbol{\xi}$ (a spectral shift function) on the unit circle ${\Bbb T}$ of class $L^1({\Bbb T})$ such that the following trace formula holds: $\operatorname{trace}(f(T)-f(R))=\int_{\Bbb T} f'(\zeta)\boldsymbol{\xi}(\zeta)\,d\zeta$, whenever $T$ and $R$ are contractions with $T-R\in\boldsymbol{S}_1$ and $f$ is an operator Lipschitz function analytic in ${\Bbb D}$.Comment: 6 page

Point contacts and boundary triples

We suggest an abstract approach for point contact problems in the framework of boundary triples. Using this approach we obtain the perturbation series for a simple eigenvalue in the discrete spectrum of the model self-adjoint extension with weak point coupling. An example of a two-level quantum model is provided.Comment: A few typos corrected. An example of a two-level quantum model is provide

Remarks on the operator-norm convergence of the Trotter product formula

We revise the operator-norm convergence of the Trotter product formula for a pair {A,B} of generators of semigroups on a Banach space. Operator-norm convergence holds true if the dominating operator A generates a holomorphic contraction semigroup and B is a A-infinitesimally small generator of a contraction semigroup, in particular, if B is a bounded operator. Inspired by studies of evolution semigroups it is shown in the present paper that the operator-norm convergence generally fails even for bounded operators B if A is not a holomorphic generator. Moreover, it is shown that operator norm convergence of the Trotter product formula can be arbitrary slow.Comment: 12 page

Scattering matrices and Weyl functions

For a scattering system $\{A_\Theta,A_0\}$ consisting of selfadjoint extensions $A_\Theta$ and $A_0$ of a symmetric operator $A$ with finite deficiency indices, the scattering matrix \{S_\gT(\gl)\} and a spectral shift function $\xi_\Theta$ are calculated in terms of the Weyl function associated with the boundary triplet for $A^*$ and a simple proof of the Krein-Birman formula is given. The results are applied to singular Sturm-Liouville operators with scalar and matrix potentials, to Dirac operators and to Schr\"odinger operators with point interactions.Comment: 39 page

Trace formulae for dissipative and coupled scattering systems

For scattering systems consisting of a (family of) maximal dissipative extension(s) and a selfadjoint extension of a symmetric operator with finite deficiency indices, the spectral shift function is expressed in terms of an abstract Titchmarsh-Weyl function and a variant of the Birman-Krein formula is proved.Comment: 38 page

Classical solutions of drift-diffusion equations for semiconductor devices: the 2d case

We regard drift-diffusion equations for semiconductor devices in Lebesgue spaces. To that end we reformulate the (generalized) van Roosbroeck system as an evolution equation for the potentials to the driving forces of the currents of electrons and holes. This evolution equation falls into a class of quasi-linear parabolic systems which allow unique, local in time solution in certain Lebesgue spaces. In particular, it turns out that the divergence of the electron and hole current is an integrable function. Hence, Gauss' theorem applies, and gives the foundation for space discretization of the equations by means of finite volume schemes. Moreover, the strong differentiability of the electron and hole density in time is constitutive for the implicit time discretization scheme. Finite volume discretization of space, and implicit time discretization are accepted custom in engineering and scientific computing.--This investigation puts special emphasis on non-smooth spatial domains, mixed boundary conditions, and heterogeneous material compositions, as required in electronic device simulation